Static analysis of PostScript code
نویسندگان
چکیده
Stack-based languages, such as PostScript, present a major challenge to static analysis techniques because of their almost unlimited polymorphism. We introduce a regular expression notation that is used to represent allowed combinations of types on the stack at different points in a PostScript program. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or, ultimately, in permitting full or partial compilation of portions of code.
منابع مشابه
Typing Tools for Typeless Stack Languages
Many low-level runtime engines and virtual machines are stack based instructions take parameters from the stack and leave their results on the stack. Stack language is a common name for several languages used to program stack based (virtual) machines like CLR, JVM, Forth, Postscript, etc. We chose the Forth language as an example to represent the class of stack languages, partially because this...
متن کاملInScript - a C-like Preprocessor for PostScript
SUMMARY INSCRIPT is a front-end for the POSTSCRIPT page-description language. INSCRIPT is easier to write (and read) than POSTSCRIPT as it uses high-level syntax, performs automatic stack manipulation and defines a clearer interface to the POSTSCRIPT imaging model. INSCRIPT programs for graphic imaging can be developed interactively, or compiled to produce POSTSCRIPT code for off-line use. This...
متن کاملAnalysis of disassembled executable codes by abstract interpretation
The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...
متن کاملThe Effect of Analysis Methods on the Response of Steel Dual-System Frame Buildings for Seismic Retrofitting
In the present paper, the focus is on the evaluation of steel dual-system frame buildings using four main types of structural analysis (Linear Static, Linear Dynamic, Nonlinear Static and Nonlinear Dynamic Analyses) with regard to "Seismic Rehabilitation Code for Existing Buildings in Iran" (based on FEMA 273 and 356) where the first two authors of the article tend to follow the previous work (...
متن کاملInspecting Postscript Documents in an Object-oriented Environment
Although inspections in early development phases are more costeffective than other defect removal activities, inspection tools in general support only text documents and thus are appropriate only for code inspections. The paper presents a new tool which supports inspection of all documents presented in PostScript form by means of a rulechecklist structure which guides the inspector through the ...
متن کامل